safeHead (fmap f []) = safeHead [] = Nothing